аксиоматическая спецификация

аксиоматическая спецификация
axiomatic specification

Русско-английский словарь по вычислительной технике и программированию . 2013.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …   Википедия

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”